1. Arithmetic, Proof theory and computational complexity
پدیدآورنده: edited by Peter Clote and Jan Krajicek
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory,، Computational complexity
رده :
QA
9
.
54
.
A75
2. Bounded arithmetic, propositional logic, and complexity theory
پدیدآورنده: Krajicek, Jan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Constructive mathematics,، Proposition )Logic(,، Computational complexity
رده :
QA
9
.
56
.
K7
3. Bounded arithmetic, propositional logic, and complexity theory
پدیدآورنده: / Jan Krajicek
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Constructive mathematics.,Proposition (Logic),Computational complexity.
رده :
QA
,
9
.
56
,.
K73
,
1995
4. Forcing with random variables and proof complexity
پدیدآورنده: Krajicek, Jan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computational complexity,، Random variables,، Mathematical analysis
رده :
QA
267
.
7
.
K72F6
5. Proof complexity
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Proof theory. ; Computational complexity. ;
